Skip to content

Bound loaded Objective-C RW extension arrays - #91

Merged
lynnswap merged 6 commits into
mainfrom
codex/issue-87-bounded-loaded-objc-rw-arrays
Aug 26, 2026
Merged

Bound loaded Objective-C RW extension arrays#91
lynnswap merged 6 commits into
mainfrom
codex/issue-87-bounded-loaded-objc-rw-arrays

Conversation

@lynnswap

Copy link
Copy Markdown
Owner

Purpose

Closes #87 by advancing the Objective-C metadata reader cohort so loaded class_rw_ext_t method, property, and protocol list arrays no longer dereference unchecked runtime metadata.

Changes

  • Pin MachOObjCSection cc9a70f and the matching MachOSwiftSection cohort 905703af.
  • Decode single, pointer-array, and relative RW-extension representations through bounded snapshot reads, checked arithmetic, shared count and byte budgets, and per-entry diagnostics.
  • Preserve existing compatibility projections while exposing typed representation and partial-result diagnostics from one owner.
  • Render the new RW-extension owner and unavailable-relative-image failure in PrivateHeaderKit diagnostics.
  • Document that the dependency surface is bounded while the current PrivateHeaderKit raw dump continues to query class RO member lists.

Testing

Notes

  • Simulator arm64 does not verify arm64e pointer authentication; that remains an explicit unverified condition.
  • No screenshots are applicable.

@lynnswap

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Another round soon, please!

Reviewed commit: c4056f98e5

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@lynnswap
lynnswap merged commit 44f03ac into main Aug 26, 2026
1 check passed
@lynnswap
lynnswap deleted the codex/issue-87-bounded-loaded-objc-rw-arrays branch August 26, 2026 16:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Loaded Objective-C RW extension arrays bypass bounded list readers

1 participant